81. Mathematics of program construction
Author: Ronald Back house Jose Nuno oliveria
Library: Vali Asr University Central Library (Kerman)
Subject: Electronic digital computers-programming-congresses,computer science-mathematics-congresses
Classification :
QA
76
.
6
.
M2
2000
82. Mathematics of program construction :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer programming ; Congresses ; Computer science ; Mathematics ; Congresses ;
83. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
6
.
M367
1993
84. Mathematics of program construction : Second International Conference, Oxford, U.K., June/ July 1992 : processing
Author: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
669
85. Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings
Author: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Computer science - Mathematics
Classification :
QA
76
.
L4
v
.
669
86. Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
Author: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming - Congresses , Computer science - Mathematics - Congresses
Classification :
QA
76
.
6
.
M367
1992
87. Mathematics of program construction : 375th Anniversary of the Groningen University : International Conference, Groningen, the Netherlands, June 26-30, 1989 : Proceedings
Author: J.L.A. van de Snepscheut )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
375
88. Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
Author: Eerke A. Boiten, Bernhard Moller )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
2386
89. Mathematics of program construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings
Author: Johan Jeuring, )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
1422
90. Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
Author: Roland Backhouse, Jose Nuno Oliveira )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
1837
91. Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
Author: Dexter Kozen )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
3125
92. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
6
.
M366
1989
93. Mathematics of program construction: 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004: proceedings
Author: Dexter Kozen, editor
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science - Mathematics
Classification :
QA
76
.
6
.
I5535
2004
94. Mathematics of the decision sciences
Author:
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: PROGRAMMING )MATHEMATICS(-CONGRESSES , CONTROL THEORY-CONGRESSES , DECISION-MAKING-CONGRESSES
Classification :
QA
264
.
S85
1967
95. Mathematics of the decision sciences
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Programming )Mathematics(,Congresses ، Control theory,Congresses ، Decision making
Classification :
QA
264
.
S85
1967
96. Mathematics of the decision sciences
Author: George B. Dantzig, Arthur F. Veinot, Jr editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming )Mathematics(,Congresses ، Control theory,Congresses ، Decision making
Classification :
QA
402
.
5
.
S85
1967
97. Multi objective programming and goal programming
Author:
Library: Library of Economics (Tehran)
Subject: Multiple criteria decision making -- Congresses,Programming (Mathematics) -- Congresses
Classification :
QA
279
.
4
.
I57
2009
98. Multi-objective programming and goal programming
Author: / Mehrdad Tamiz, ed
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Multiple criteria decision making -- Congresses,Programming (Mathematics) -- Congresses
Classification :
T57
.
95
.
M82
1996
99. Multi-objective programming and goal programming: theories and applications
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Multiple criteria decision making,Congresses ، Programming )Mathematics(
Classification :
T
57
.
95
.
M82
1996
100. Multi-objective programming and goal programming: theory and applications
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Multiple criteria decision making,Congresses ، Programming )Mathematics(
Classification :
T
57
.
95
.
I56
2002
